Deep ST

Abstract Many analyses of notion metainferences in the non-transitive logic have tackled question whether can be identified with classical logic. In this paper, we argue that primary are overly restrictive metainference. We offer a more elegant and tractable semantics for strict-tolerant hierarchy based on three-valued function material conditional. This shown to easily handle introduction mixed inferences, i.e. , inferences involving objects belonging than one (meta)inferential level solves several other limitations hierarchies introduced by Barrio, Pailos, Szmuc.